The timed asynchronous model and its application in time-triggered protocols
نویسنده
چکیده
Distributed real-time systems use both synchronous communication and asynchronous communication. The asynchronous communication has much more complicated semantics than the synchronous one. It is desirable to provide quasi-synchronous semantics for asynchronous communication networks. Time-triggered protocols in combination with the time asynchronous model can be used to form a hybrid system model with this property. This project is based on this research topic and focuses on the clock synchronization problem. An adaptive clock synchronization protocol functioning as a part of the hybrid system is fully discussed in this report.
منابع مشابه
Scalable Asynchronous Hardware Protocol Verification for Compositions with Relative Timing
Correct interaction of asynchronous hardware protocols requires verification. Performance and power of asynchronous hardware circuits and protocols can be vastly improved by modifying them with judicious application of timing constraints. A methodology is presented for verifying larger asynchronous protocols through compositional model checking with symbolic methods. This approach uses Relative...
متن کاملAgreeing on Processor Group Membership in Timed Asynchronous Distributed Systems
We introduce the timed asynchronous distributed system model to describe existing asynchronous distributed systems subject to unbounded processing and communication delays, failures and recoveries. We then describe ve increasingly strong speci cations for processor-group membership services in timed asynchronous systems subject to partitioning. We also propose ve distributed protocols that impl...
متن کاملOn Self-Timed Circuits in Real-Time Systems
While asynchronous logic has many potential advantages compared to traditional synchronous designs, one of the major drawbacks is its unpredictability with respect to temporal behavior. Having no high-precision oscillator, a self-timed circuit’s execution speed is heavily dependent on temperature and supply voltage. Small fluctuations of these parameters already result in noticeable changes of ...
متن کاملThe Timewheel Group Membership Protocol
We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timewheel group communication service that supports multiple group communication semantics simultaneously. The timewheel group membership protocol is unique in several respects. First, it has been designed for a timed asynchronous d...
متن کاملOn the Possibility of Consensus in Asynchronous Systems
We demonstrate that the leader election and consensus problems are solvable in a timed asynchronous distributed system provided a majority of processes are always eventually able to communicate in a timely manner for a su ciently long time. Failures and recoveries a ecting the other processes and the communications between them do not prevent consensus. The timed asynchronous system model descr...
متن کامل